Fractions_Part1.fsx

type BiggerThanZero = private BiggerThanZero of bigint 

module BiggerThanZero = 
    let create uintValue = 
        if (uintValue > 0I ) then BiggerThanZero uintValue
        else failwith "No zeros"
       
    let value (BiggerThanZero u) = 
        u
        
type Fraction = { Numerator: bigint; Denominator: BiggerThanZero }

let getFraction decimalValue = 
    let rec fract d (m : decimal) = 
        let a = (d * m)
        let r = a % 1.0m
        match r with
        | 0.0m -> 
            { Numerator = (bigint a) ; Denominator = BiggerThanZero.create (bigint m) }           
        | _ -> fract d (m * 10.0m)
    fract decimalValue 10.0m