codebase:src_tlc2_util_fp64.java