No convertion to IEEE 754 when writing double or float to Jasmin