Serialize Short,Int,Long,Float,Double
Merge pull request #98 from sbt/wip/havocp-serialize-primitives

Serialize Short,Int,Long,Float,Double