Commit e0315b4aadb3fbc6b618de56d643471e8d1f7859

Behdad Esfahbod 2019-05-10T19:48:02

[meta] is_integer -> is_integral