Frac — fractional part
Frac( expression )
Frac : R -> Z
Frac( 1.345 ) = 0.345
Retrieves the fractional part of a number.
Frac( x ) = x - Trunc( x )