We now have jsDoubleNumber. So the information `Double` is already encoded into JSValue. So we do not need to have these information separately.
Ah, no, we have a mode ::Integer, which says the value is Integer even if it is out of Int32 range.