Правильно ли выполнять арифметические операции над числами FLOAT в PHP

как насчет добавления autocmd, когда FileType python создать сопоставление:

nnoremap <buffer> <F9> :exec '!python' shellescape(@%, 1)<cr>

, тогда вы можете нажать <F9>, чтобы выполнить текущий буфер с помощью python