We should make sure the expectedDeviceMaxMemAllocSize is an Integer.

Because the value of |DEVICE_GLOBAL_MEM_SIZE|
on some device wouldn't dividable by four.
Merge pull request #86 from junmin-zhu/deviceMaxMemAllocSize

Make sure the expectedDeviceMaxMemAllocSize is an Integer.