Use `DOUBLE_t` for consistency with other modules.