cast instead of pad zeros in views widget