Run Travis with both floatx=32 and floatx=64