почему print(1) и print((int) 1) выводят double? не понятно.