avoid using //
v0.12

   * replace // with ||, no need to test for definedness