floating-point.svg