Tag floating-point in switch case