Reusing units of measure across different types

( Yes , still playing with units )

I just started using units for something other than floating the first time around.

After starting some complex work, I found that you can reuse units across several types.

[<Measure>] type mm

let a = 1<mm>
let b = 1.<mm>

      

        
        
        
      

    

Now I'm sitting here wondering how to update an existing mm type to reflect this capability:

[<Measure>]
type mm =
    static member perMetre = 1000.0<mm/m>
    static member fromMetre (v:float<m>) = v * mm.perMetre
    static member toMetre (v:float<mm>) = v / mm.perMetre
    static member lift (v:float) = v * 1.0<mm>

      

        
        
        
      

    

Question: How do I write a function that can convert from mm

to m

(say) that can handle int<mm> -> int<m>

AND float<mm> -> float<m>

?

UPDATE

Thanks to Kurt, here's a new version:

[<Measure>]
type mm =
    static member private perMetreFloat = 1000.0<mm/m>
    static member private perMetreInt = 1000<mm/m>
    [<OverloadIDAttribute("float")>]
    static member fromMetre (v:float<m>) = v * mm.perMetreFloat
    [<OverloadIDAttribute("float")>]
    static member toMetre (v:float<mm>) = v / mm.perMetreFloat
    [<OverloadIDAttribute("float")>]
    static member lift (v:float) = v * 1.0<mm>
    [<OverloadIDAttribute("int")>]
    static member fromMetre (v:int<m>) = v * mm.perMetreInt
    [<OverloadIDAttribute("int")>]
    static member toMetre (v:int<mm>) = v / mm.perMetreInt
    [<OverloadIDAttribute("int")>]
    static member lift (v:int) = v * 1<mm>