doesn't ieee754 define a decimal format? Specifically "decimal64"