Export FractionalOf.