Possible Bug in INT_STRLEN_MAXIMUM macro