:t -1
:t the Nat (S $ S $ S 5)
:t -1.0
:q