今のFloatをCFloatにしてNaNを含まないFloatを新設、とかありえそう