[math-fun] Fractional ordinals