idris-1.3.3: test/basic025/input.in

:x atan2   1    1
:x atan2 (-1)   1
:x atan2   1  (-1)
:x atan2 (-1) (-1)

:x atan2 0 1
:x atan2 1 0