<?php var_dump(preg_replace('/^(?:-1|/d+)$|^default$/', '', '13.2'));
You have javascript disabled. You will not be able to edit any code.