Add comment about integer types for workspace config settings
Add comment about integer types for workspace config settings
Followup to !1825 (comment 2164812509)
Add comment about integer types for workspace config settings
Followup to !1825 (comment 2164812509)