with Text_io;
package fio is new text_io.float_io(Float);