28 Oct
2004
28 Oct
'04
1:40 a.m.
Is Int.inf added as a constant for that value too? Otherwise we should do that.. ;)