Volker Mische 30a9c6e490 Decode a float into integers
The `integer_decode()` function decodes a float (f32/f64)
into integers containing the mantissa, exponent and sign.

It's needed for `rationalize()` implementation of #9838.

The code got ported from ABCL [1].

[1] http://abcl.org/trac/browser/trunk/abcl/src/org/armedbear/lisp/FloatFunctions.java?rev=14465#L94
2013-12-04 16:11:39 +01:00
..
2013-10-14 14:33:05 +02:00
2013-12-04 16:11:39 +01:00
2013-12-04 16:11:39 +01:00
2013-12-04 16:11:39 +01:00