Text this: A IEEE floating-point multiplier /