Double-precision_floating-point loading ...