doc: added comment for standard::kernel::Int::*

doc: added comment for standard::kernel::Int::*

Alexandre Terrasa &lt;alexandre@moz-code.org&gt;