fun Ġfloating _ point _ operators _ 1 _ double _ leq ( x : ĠDouble , Ġy : ĠDouble ): ĠInt Ġ{ ĊĠĠĠ Ġif Ġ( x Ġ< Ġy ){ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 1 ĊĠĠĠ Ġ} ĊĠĠĠ Ġelse { ĊĠĠĠĠĠĠĠ Ġreturn Ġ 0 ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġfloating _ point _ operators _ 1 _ getValue ( b : ĠBoolean ): ĠBoolean { ĊĠĠĠ Ġreturn Ġb Ċ }