Finally! Print infnums as decimal integers :)