Which of the following assertions most accurately characterises the semantics of primitive data types as defined by the Java Language Specification?

1. AThe boolean data type can be implicitly converted to an integer type during arithmetic operations.
2. BThe float and double types store decimal values using exact binary representation.
3. CAll numeric data types in Java are unsigned.
4. DThe char data type in Java is a 16-bit unsigned integer representing Unicode characters.