export FloatRange [close #6606]