Patrick Lühne 97190ace71 Add integer check ... This adds a function to check whether a term evaluates to a singular integer.		2018-04-21 18:12:06 +02:00
..
anthem	Add integer check	2018-04-21 18:12:06 +02:00