1 Jun
2009
1 Jun
'09
9:15 p.m.
It's useful as "something larger than anything I'll process here". Ideally Int.inf should be used for that, but it's an object and doesn't work as input to most C functions.