В окнах WPF эти свойства фактически отображаются в положение окна, которое, как вы заметили (в Windows), в конечном итоге будет соответствовать целочисленному значению.
Тем не менее, они определены как double, что хорошо, так как они корректно отображаются (и наследуются) от других свойств FrameworkElement, т. Е. Элементы в окне имеют преимущество двойной точности, поскольку они разработаны, чтобы быть независимыми от разрешения и допускают произвольное масштабирование с помощью преобразования и т. Д.
Чтобы сделать эти целые числа, каркас должен сделать Window не являющимся FrameworkElement или определить для них отдельные свойства, игнорируя свойства FrameworkElement. Любой из вариантов вызовет путаницу и будет хуже, чем оставление этих двойных значений. Кроме того, следует понимать, что для реализации в будущем возможно использование субпиксельного позиционирования - хотя Windows API не поддерживает это сейчас, теоретически возможно (хотя и маловероятно), что это может произойти в будущем.