This in an extension to u128_dec_format that serves a compatibility layer role to deserialize u128 from a “small” JSON number (u64).
u128_dec_format