chiark / gitweb /
fix aarch64 build giving double instead of integer (#1012)