Added the example with doubling to binnat (not working because of problem with opaque)