for r being Real holds frac r = r - ((scf r) . 0)