Optimize slightly the float constructor.