A warning had been appeared because a PropertyWithValue<uint16_t>
was being created. The reason for the warning is that the compiler
turns variables of this type into ints prior to arithmetic operations,
but then assigns back to the narrower type. In other cases the cast
will have no effect.