Can contents be read as a REAL ?
Fails for numbers where the base or "10 ^ exponent" are not in
the range Minimum_real ...
Maximum_real. Parsing is done
positive. That means if Minimum_real.abs is not equal to
Maximum_real it will not work correctly. Furthermore the
arithmetric package used must support the value 'inf' for a
number greater than Maximum_real.
Result is True if and only if the following two conditions
1. In the following BNF grammar, the value of Current can be
produced by "Real_literal", if leading or trailing separators
Internal storage is set using p (may be dangerous because
the external C string p is not duplicated).
Assume p has a
null character at the end in order to compute the Eiffel
count. This extra null character is not part of the Eiffel
STRING. Also consider from_external_copy to choose the most