Moved to floating-point version