I am relying on the assertion at the beginning of the file, starting at line 154. This makes sure that only the values 53, 64, 106 and 113 are used as number of bits of the mantissa.
Otherwise I would not be certain...