#include<stdio.h>
typedef long long ll;
ll t,n;
int main(){
    scanf("%lld %lld",&t,&n);
    double a=1.0*t/n;
    ll b=2*n;
    printf("%.3f\n",a);
    printf("%lld\n",b);
    return 0;
}