See https://github.com/FInAT/FInAT/issues/29
See FInAT/FInAT#29