Cleaned up int|INF doc type to avoid IDEA errors