Support for binary_double and binary_float