()
| 121 | } |
| 122 | |
| 123 | @Override |
| 124 | public double doubleValue() { |
| 125 | if (!is_integer) { |
| 126 | return Double.longBitsToDouble(value); |
| 127 | } |
| 128 | throw new ClassCastException("Not a double in " + toString()); |
| 129 | } |
| 130 | |
| 131 | @Override |
| 132 | public double toDouble() { |