log tests/num.urp

age author description
2008-10-21 Adam Chlipala num working for int