Corrected handling of double values with up to three decimal places

[dirichs]

Deserialization of double values with code 0x5f was correct according to the Hessian specification, but the Java implementation does things differently. As I view it, this is a bug in the specification and the Java way should be used in all implementations.