Да.
Это целочисленный литерал с точки зрения языка. Суффикс может уточнить тип, например 1u указывает, что это беззнаковый целый тип, а 1.f что это число с плавающей точкой (единичной точности), а 1.d двойной.
Кроме того, результирующей тип выражения будет определятся на основе типа операндов. Например, в вашем коде "a / 4" -- это int, а "a / 4.d" уже double. Поэтому, когда вы посмотрите содержимое x, то можете быть немного удивлены.
Если вы задаёте все эти вопросы не с целью потроллить, то прочтите вот эту тонюсенькую книжечку:
https://www.amazon.com/Programming-Language-2nd-Br... . Около 300 страниц всего; русская версия тоже есть.
