This `else` statement has the same logic as the `float64` case below, right?