Yep. That's the 64-bit flavor. The 80-bit flavor is 1 sign bit, 15 or more exponent bits, and 64 or more mantissa bits.