Added division by a LargeFloat