(proofReimplement expand_number() in terms of conceptexpand_unsigned(), needs work)which takes
a pointer to uint64_t like expand_number() did before. Provide a macro
that picks the correct version based on the type of the argument.
Fixes: 2e0caa7c7e14