fun Ġtest ( x : Ġjava . lang . Integer ) Ġ{ ĊĠĠĠ Ġx .< caret > Ċ } Ċ Ċ // ĠEX IST : Ġto Byte Ċ // ĠEX IST : Ġto Short Ċ // ĠEX IST : Ġto Int Ċ // ĠEX IST : Ġto Long Ċ // ĠEX IST : Ġto Float Ċ // ĠEX IST : Ġto Double Ċ