
$\{x\} = x - [x]$
