Bijective mappings between values and possibly infinite prefixes of [0..]