Treatment of integers made identical to float