Added labels for floating-point box/unbox instructions.