int to float conversion in the constructor