Re #7855 Fix issue with int property