Boilerplate which avoids having to use generics. Instead of Property<Int>, use IntProperty.
Property<Int>
IntProperty
Returns a read-only view of this mutable IntProperty. Typical usage :