We are going to truncate it down below with int() anyway, no need to carry extra precision. And mypy complains if the type changes between float and int.pull/11864/head
parent
85e0c0a5d7
commit
aa48cdcf60
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue