def infinite: 1e1000;