semantic: Handle fitsInPrimitive with floating point better.