extern C on bitvector
use INFINITY and NAN instead of strtod