This assumption is correct and already present in plenty of code paths
(e.g. when converting to/from float).