Segmentation fault on operator != for Floating Point

[jubnzv]

Here is a minimal example:

#include <iostream>
#include "z3++.h"

int main() {
  z3::context c;
  auto fpa = c.fpa_val(0.1);
  std::cout << (fpa != 0) << std::endl;
}

Stack trace:

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7a3ede4 in decl_plugin::mk_func_decl(int, unsigned int, parameter const*, unsigned int, expr* const*, sort*) () from /home/jubnzv/Dev/z3/build/libz3.so
(gdb) bt
#0  0x00007ffff7a3ede4 in decl_plugin::mk_func_decl(int, unsigned int, parameter const*, unsigned int, expr* const*, sort*) () from /home/jubnzv/Dev/z3/build/libz3.so
#1  0x00007ffff7a4b13c in ast_manager::mk_app(int, int, unsigned int, parameter const*, unsigned int, expr* const*, sort*) () from /home/jubnzv/Dev/z3/build/libz3.so
#2  0x00007ffff6c813b2 in Z3_mk_distinct () from /home/jubnzv/Dev/z3/build/libz3.so
#3  0x0000555555572e70 in z3::operator!=(z3::expr const&, int) ()
#4  0x000055555555ffec in main ()