bigintval() now casts to double