It seems that the math of the serial port is still based upon a 16Mhz clock, that would explain the factor 2.
First thing that comes in mind is to adapt the sketch to use double numbers.
The real solution is to change the F_CPU to 8000000 in the boards.txt file
or add an extra entry UNO8 that equals the UNO entry except for F_CPU