Maybe we should also add data types to every language that can convert exactly between inches, feet, miles and every other non-base-10 unit? The argument "we w

Maybe we should also add data types to every language that can convert exactly between inches, feet, miles and every other non-base-10 unit? The argument "we want to look at base-10 in the end so it should be the internal representation" is really weak and ignores basically every other practical aspect.