* fix: avoid integer-only division