⁽⁶⁾The frac function extracts the fractionary part of a number and is defined as frac(x) = x -⌊x⌋.