Value: TYPE = Scaled.Value;

FromInt: PROC [int: INTEGER] RETURNS [Value] = {RETURN[Scaled.FromInt[int]]};

PLUS: PROC [a, b: Value] RETURNS [Value] = {RETURN[a.PLUS[b]]};

MINUS: PROC [a, b: Value] RETURNS [Value] = {RETURN[a.MINUS[b]]};

UMINUS: PROC [a: Value] RETURNS [Value] = {RETURN[a.UMINUS[]]};

GREATER: PROC [a, b: Value] RETURNS [BOOLEAN] = {RETURN[a.GREATER[b]]};

LESS: PROC [a, b: Value] RETURNS [BOOLEAN] = {RETURN[a.LESS[b]]};

Max: PROC [a, b: Value] RETURNS [Value] = {RETURN[a.Max[b]]};

Min: PROC [a, b: Value] RETURNS [Value] = {RETURN[a.Min[b]]};

Floor: PROC [a: Value] RETURNS [INTEGER] = {RETURN[a.Floor[]]};

Ceiling: PROC [a: Value] RETURNS [INTEGER] = {RETURN[a.Ceiling[]]};

Round: PROC [a: Value] RETURNS [INTEGER] = {RETURN[a.Round[]]};

Float: PROC [a: Value] RETURNS [REAL] = {RETURN[a.Float[]]};

FromReal: PROC [real: REAL] RETURNS [Value] = {RETURN[Scaled.FromReal[real]]};

Halve: PROC [a: Value] RETURNS [Value] = {RETURN[a.Halve[]]};

END.