A Yii2 numbers picker with digits and decimals