re PR middle-end/23470 (a*a (for floats) is not considered always postive (-ffast...