tree 5f947c23347ccfd80625066b57d024dfc2cf7c20
parent 43dbdfd0e738939e25b84deb60fc6b253a9a5ea2
author Wenzel Jakob <wenzel@inf.ethz.ch> 1440776955 +0200
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1440776955 +0200

added a few basic number types