I know from this [link](http://cs.hubfs.net/topic/None/59380) that this is bad.... but how else can I achieve something similar.

gistfile1.fs

    //I can do the following to cast a given unit but this leads to an individual 
    //lift function for everyType
    type [<Measure>] type megawatt
    type [<Measure>] type therm
    
    module Megawatt = 
        let inline liftFloat a = (float a) * 1.0<megawatt>
        let inline liftInt a = (int a) * 1<megawatt>

    //This gets dull quickly for lots of units of measure
    //The following gets a deprecated warning and from the link in the description it is bad but would save alot of code
    //I understand there maybe truncation ect, and some loss of type safety
    //but this seems so convenient. 

    let inline retype<'T,'U> (x:'T) : 'U = (# "" x : 'U #) 
    let inline liftUnit a = 
         retype (float a)

    //Example usage,
    let value : int<megawatt> = liftUnit 6

@deneuxj @ToyVo The problem is that I need to write functions for every numerical type. I wanted to try and avoid this and avoid the unsafe cast. I think I'm asking for the impossible, without static optimizations that is.