include_c "math.h";

fun main() -> int@ {
  let x = i2s(1);
  let y = i2s(2);
  let i = s2i(x + y);

  let x = d2s(12.0);
  let j = floor(s2d(x));

  return i - d2i(j);
}