\.toString 2
; the following function also casts the string to a number
^(@+ \.toString 2)