Add silly 0-case to Float.Add