0x1.edd2f1a9fbe77p6 123.456 真不知道怎么写的呢，不过有现在的使用，Double.parseDouble()支持这样格式的。 或许，找Double.parseDouble()源码看看
