415416417418419420421422423424425
@BIF static public EBinary float_to_binary(EObject obj) { EDouble value; if ((value = obj.testFloat()) != null) { return new EBinary(value.format(ERT.NIL).getBytes(IO.ISO_LATIN_1)); } throw ERT.badarg(obj); } @BIF
424425426427428429430431432433434
@BIF static public EBinary float_to_binary(EObject obj, EObject options) { EDouble value; if ((value = obj.testFloat()) != null) { return new EBinary(value.format(options).getBytes(IO.ISO_LATIN_1)); } throw ERT.badarg(obj, options); } @BIF
433434435436437438439440441442443
@BIF static public EString float_to_list(EObject obj) { EDouble value; if ((value = obj.testFloat()) != null) { return new EString(value.format(ERT.NIL)); } throw ERT.badarg(obj); } @BIF
442443444445446447448449450451452
@BIF static public EString float_to_list(EObject obj, EObject options) { EDouble value; if ((value = obj.testFloat()) != null) { return new EString(value.format(options)); } throw ERT.badarg(obj, options); } @BIF