Maintainer here. It is really courious, it seems to be a problem with the C++ core function of division operator. I promise to check it and say you something. Thanks!