cast to Integer
debug
debug
debug
+ Fix bug: use sage round function!
+ Better debugging
+ More precision from security