Fractional part (source code)

= Fractional part
{title2=$\{x\}$}
{wiki}

The fractional part of a <real number> is $\{x\}=x-\lfloor x\rfloor\in[0,1)$.