Numeric types with callbacks for logging of floating point ops