Integer Instantiation
upgraded to dandelion 0.8.7