( ( 2**24 * (2**24 - 2) ) / 2**48 ) == 0.999_999_887_92