I suggest to use tick_t for positions etc. instead of int even though both of them should work without any difference.