def __init__(self, space, floatvalue): W_NumericObject.__init__(self, space) self.floatvalue = floatvalue