It would never be legally encoded that the integerPart of a KeyString v0 numeric type uses more than 52 bits and also has a fractional part.

Uassert that integerPart is strictly less than 2^^53 (i.e. has no more than 52 bits of precision) if it also has a fractional part.