Fixed the syntax definition for operator `/`, and add operator `//`.