type spec
Tests do in fact reveal bugs, even in simple math functions