finished bigIntegerValue properties