inf property

double inf
getter/setter pair

Implementation

double inf = 1/0;