fix misunderstanding on the 80 bits fp