Correct implementation of sdiv by casting to float and back to int