double is not "extra precision". Extra precision is builtin into the FPU; instructions use 80 bit (or 128 bit SSE) registers internally and then round back to y

double is not "extra precision". Extra precision is builtin into the FPU; instructions use 80 bit (or 128 bit SSE) registers internally and then round back to your desired precision (single, double).