changed double cast divide to determine mixed number

Just compared numerator >= denominator instead.
just a github thing