Fix floating-point types to double