wavtospice.py: Add cast to float to avoid downcast to integer.