Bug fix on integer format