The September CPT of F# introduces a new feature called units of measure. The idea is to assign units to other types so that the compiler can do checking to make sure you aren’t doing something that doesn’t make sense. E.g. your double 9.8 turns into 9.8 m/s^2. This solves lots of problems, especially in scientific computing where this is important. Andrew Kennedy has a good description of it here.