(- 3)
(- 10 3 2)
(- 10.0 2.5)
(- -9007199254740993)
(- 9007199254740995 1 1)
(- 0)