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