Merge pull request #1496 from brian-team/floor_div_integers #822

Job	Run time
Run linters with pre-commit	1m 6s
Determine Python versions	5s
Test building the documentation	1m 25s
Python 3.12 on ubuntu-20.04 (standalone: false, 32bit: false)	27m 51s
Python 3.12 on ubuntu-20.04 (standalone: false, 32bit: true)	26m 17s
Python 3.12 on ubuntu-20.04 (standalone: true, 32bit: false)	22m 35s
Python 3.12 on ubuntu-20.04 (standalone: true, 32bit: true)	22m 14s
Python 3.12 on windows-2019 (standalone: false, 32bit: false)	1h 13m 27s
Python 3.12 on windows-2019 (standalone: false, 32bit: true)	1h 14m 42s
Python 3.12 on windows-2019 (standalone: true, 32bit: false)	25m 27s
Python 3.12 on windows-2019 (standalone: true, 32bit: true)	23m 45s
Python 3.12 on macOS-11 (standalone: false, 32bit: false)	50m 2s
Python 3.12 on macOS-11 (standalone: false, 32bit: true)	49m 20s
Python 3.12 on macOS-11 (standalone: true, 32bit: false)	29m 49s
Python 3.12 on macOS-11 (standalone: true, 32bit: true)	29m 38s
Python 3.9 on ubuntu-20.04 (standalone: false, 32bit: false)	25m 39s
Python 3.9 on ubuntu-20.04 (standalone: true, 32bit: false)	20m 53s
Indicate completion to coveralls.io	14s
	8h 24m 29s

Provide feedback