template and constraints

[bioinfornatics]

Thanks to Timon Gehr and David 
____
double div(alias a, alias b)() if( a > 0 && b > 0 ){
     return a / b;
}
____

works as expected :-)