Generating a Java double data type instead of a 32-bit float