K&Rのfloatは引数にするとdoubleに昇格するというルールが残っているのでしょう