decimal to integer conversion