* src/video_output/video_output.c: small change to avoid using floating point
   registers in the video ouptut routines.