decimal value implementation for php