API of integer_callback changed the other way around
Merge pull request #8 from gahr/master

API of integer_callback changed the other way around