positive property Null safety

int positive
read / write

Implementation

late int positive;